/*
 * DollarTimeExpression.java
 * 
 * last update: 16.01.2010 by Stefan Saru
 * 
 * author:	Alec(panovici@elcom.pub.ro)
 * 
 * Obs:
 */

package engine;

import java.util.*;

class DollarTimeExpression extends Expression{

	DollarTimeExpression() {
		super(null);
	}

	void addMonitor(Monitor m) {
		xConsole.warn("$time events not implemented yet. Sorry");
	}

	public Result evaluate() throws InterpretTimeException{
		return new BitVector(Time.oClock(), true);
	}

	public String toString(){
		return "$time";
	}
}



